Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 2.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 003155 | Andrea Corradini [Italie] ; Andrea Asperti [France] | A categorical model for logic programs: Indexed monoidal categories |
| 003684 | Andrea Corradini [Italie] ; Ugo Montanari [Italie] | Towards a process semantics in the logic programming style |
| This area was generated with Dilib version V0.6.32. |  |